German HTML-Editor: translation to other languages